nLab Michael Johnson

• website

• ORC-ID

Selected writings

On the nerve of n-categories:

• Michael Johnson and R. F. C. Walters, On the nerve of an n-category, Cahiers de Topologie et Géométrie Différentielle Catégoriques, Vol. 28, No. 4, 1987, pp. 257-282. [numdam]

On the combinatorics of n-categorical pasting:

• Michael Johnson, Pasting Diagrams in n-Categories with Applications to Coherence Theorems and Categories of Paths, PhD thesis, University of Sydney (1987) [pdf]

• Michael Johnson, The combinatorics of n-categorical pasting, Journal of Pure and Applied Algebra 62 3 (1989) 211-225 [doi:10.1016/0022-4049(89)90136-9]

On representations of universal algebra by sheaves of quotient algebras:

• Michael Johnson and Shu-Hao Sun, Remarks on representations of universal algebras by sheaves of quotient algebras, Proceedings of the 1991 Summer Category Theory Meeting (1992) [pdf]

On algebra objects:

• Michael Johnson, R. F. C. Walters, Algebra objects and algebra families for finite limit theories, Journal of Pure and Applied Algebra, 83, 3 (1992) 283-293. [doi:10.1016/0022-4049(92)90047-J]

On well-behaved lenses (in computer science) as the coalgebras over the costate comonad:

• Jeremy Gibbons, Michael Johnson, Relating Algebraic and Coalgebraic Descriptions of Lenses, Electronic Communications of the EASST 49 (2012) [doi:10.14279/tuj.eceasst.49.726, pdf]

On lenses (in computer science):

• Michael Johnson, Robert Rosebrugh, Richard Wood, Algebras and Update Strategies, Journal of Universal Computer Science 16 (2010) [doi:10.3217/jucs-016-05-0729]

• Michael Johnson, Robert Rosebrugh, and Richard J. Wood, Lenses, fibrations and universal translations Math. Structures Comput. Sci. 22 1 (2012) 25–42 [doi:10.1017/S0960129511000442]

• Michael Johnson, Robert Rosebrugh, Unifying Set-Based, Delta-Based and Edit-Based Lenses, CEUR Workshop Proceedings 1571 (2016) [pdf]

• Michael Johnson, Robert Rosebrugh, The more legs the merrier: A new composition for symmetric (multi-)lenses, EPTCS 333 (2021) 92-107 [arXiv:2101.10482, doi:10.4204/EPTCS.333.7]

category: people